Athena: a novel approach to efficient automatic security protocol analysis1
نویسندگان
چکیده
منابع مشابه
Athena: A Novel Approach to Efficient Automatic Security Protocol Analysis
We propose a new efficient automatic verification technique, Athena, for security protocol analysis. It uses a new efficient representation — our extension to the Strand Space Model, and utilizes techniques from both model checking and theorem proving approaches. Athena is fully automatic and is able to prove the correctness of many security protocols with arbitrary number of concurrent runs. T...
متن کاملAthena: A New Efficient Automatic Checker for Security Protocol Analysis
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authentication, secrecy and properties related to electronic commerce. We have developed an automatic procedure for evaluating well-formed formulae in this logic. For a well-formed formula, if the evaluation procedure terminat...
متن کامل A novel approach to automatic position calibration for pixelated crystals in gamma imaging
Introduction: The position estimation in gamma detection system will have constant misplacements which can be corrected in the calibration procedure. In the pixelated crystal uniformly irradiation of detector will produce irregular shape due to position estimation errors. This image is called flood field image and is used to calibrate the position estimation. In this work we pr...
متن کاملFast automatic security protocol generation
An automatic security protocol generator is described that useslogic-based heuristic rules to guide it in a backward search for suitableprotocols from protocol goals. The approach taken is unlike exist-ing automatic protocol generators which typically carry out a forwardsearch for candidate protocols from the protocol assumptions. A pro-totype generator has been built th...
متن کاملA Novel Approach to Automatic Color Matching
In this paper the design and operation of an Automatic Color Matching system is presented. This novel system takes advantage of the improvements introduced by Alpha-Beta associative memories, an efficient, unconventional model of associative memory of recent creation. The results are demonstrated through experiments on a relatively small database with 1001 samples prepared by the authors. Howev...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer Security
سال: 2001
ISSN: 1875-8924,0926-227X
DOI: 10.3233/jcs-2001-91-203